TSTP Solution File: SET046^5 by SRASS---0.1